|
KMID : 0896219960160010701
|
|
Journal of Daegu Health College
1996 Volume.16 No. 1 p.701 ~ p.723
|
|
|
An Implementation of Type Checker for the Functional Language SubMiranda
|
|
Moon Sung-Hun
|
|
|
Abstract
|
|
|
|
|
|
|
KEYWORD
|
|
|
|
|
|
FullTexts / Linksout information
|
|
|
|
|
|
Listed journal information
|
|
|
|